Testing Real-Time Parameterized Systems

Testing is an important step in validation process of critical systems. Black box testing consists in verifying that the system conforms to the behaviour of its model. In the case of realtime systems, temporal constraints have to be taken into account in test generation. In this paper we tackle the problem of conformance testing for parameterized Real-Time systems. introduced. Parameterized timed automata allow to model systems with a finite set of parameters that represents unfixed clock constraints. The method proposed here generates parameterized test sequences associated with a set of constraints on parameters for which the specification do not have deadlock behaviours.